Algebraic structures - PDFSEARCH.IO - Document Search Engine

Algebraic structures
Results: 1266

#	Item
611	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics
612	Chu Spaces and their Interpretation as Concurrent Objects Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:05:55 Linear algebra Algebraic structures Mathematical structures Functions and mappings Chu space Matrix Vector space Duality Boolean algebra Algebra Mathematics Abstract algebra
613	Shorter proof of universality of Chu spaces Vaughan Pratt July 15, 1994 The categories Strκ of κ-ary relational structures and their homomorphisms where κ is any ordinal are universal categories for mathematics to the Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:09 Algebra Structure Model theory Universal algebra Homomorphism Boolean algebra Mathematics Mathematical structures Algebraic structures
614	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra
615	On the Representation of Abelian Groups as Chu Spaces Vaughan Pratt January 9, 2005 Abstract We compare two representations of Abelian groups as Chu spaces. The Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:00 Algebraic structures Group theory Mathematical structures Finite groups Abelian group Z3 Cyclic group Group representation Group Algebra Abstract algebra Mathematics
616	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
617	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
618	Chu spaces: Complementarity and Uncertainty in Rational Mechanics Vaughan Pratt∗ Dept. of Computer Science Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 12:17:27 Algebraic structures Order theory Topology Lattice theory Abstract algebra Chu space Boolean algebra Finite topological space Filter Mathematics Algebra Structure
619	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
620	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic

UPDATE